Domain-specific Languages and Code Synthesis Using Haskell
queue.acm.orgยท2dยท
Discuss: Lobsters, Hacker News
๐Ÿ“Type Theory
Flag this post
Building "CodeBro": My (Pointless) Adventure into AI Agents with Java
dev.toยท1dยท
Discuss: DEV
๐Ÿ’ผThrift
Flag this post
I tested GPT-5.1 Codex against Sonnet 4.5, and it's about time Anthropic bros take pricing seriously.
composio.devยท9hยท
Discuss: r/ClaudeAI
๐Ÿ“ฆFolly
Flag this post
A tiny proxy in Rust for using alternative LLM providers with Anthropic-compatible tools (like Claude Code or Claude Agent SDK successors)
github.comยท10hยท
Discuss: r/rust
๐ŸฑNom
Flag this post
EP189: How to Design Good APIs
blog.bytebytego.comยท14h
๐ŸŽจAPI Design
Flag this post
Omnidirectional type inference for ML: principality any way
arxiv.orgยท2d
๐ŸŽฏHindley-Milner
Flag this post
Implementing Strictly Typed JsonRpc Method Calls in Kotlin
dev.toยท6hยท
Discuss: DEV
๐Ÿ“‹Protobuf Schema
Flag this post
Structured Output Generation in LLMs: JSON Schema and Grammar-Based Decoding
pub.towardsai.netยท1d
๐ŸŒณTree-sitter
Flag this post
Reauthoring and Converting models for edge inference: MambaV2 on LiteRT
sachinjoglekar.substack.comยท17hยท
Discuss: Substack
๐Ÿ”ฅPyTorch
Flag this post
Show HN: Mathematical parameter selection to eliminate synchronization bugs
news.ycombinator.comยท3hยท
Discuss: Hacker News
๐Ÿ•Vector Clocks
Flag this post
Refactoring Legacy: Part 1 - DTO's & Value Objects
clegginabox.co.ukยท10hยท
Discuss: r/programming
๐ŸŽจAPI Design
Flag this post
I'm building a language that compiles Haskell-style Monads and RAII down to high-performance C. I call it Cicili
github.comยท1dยท
Discuss: r/C_Programming
ฮปFunctional Programming
Flag this post
The โ€œJankiestโ€ way of writing Ruby gems
mauricio.szabo.linkยท2h
๐Ÿ”ตClojure
Flag this post
Nuxt Tutorial 3 - Utils & Composables
geeksforgeeks.orgยท11hยท
Discuss: DEV
๐Ÿ”„Effect Handlers
Flag this post
OrKa v0.9.6: deterministic agent routing for local LLM stacks (multi factor scoring, OSS)
reddit.comยท15hยท
Discuss: r/LocalLLaMA
๐Ÿฆ™Ollama
Flag this post
Fluidware โ€“ an essay on software in the age of generative abundance
createdbyhonesty.comยท1dยท
Discuss: Hacker News, r/SoftwareEngineering
๐ŸŽญProgram Synthesis
Flag this post
Archimedes โ€“ A Python toolkit for hardware engineering
pinetreelabs.github.ioยท11hยท
Discuss: Hacker News
๐Ÿ—๏ธCranelift
Flag this post
Referential Transparency
quamserena.comยท6hยท
Discuss: Hacker News
ฮปFunctional Programming
Flag this post
Spec-Driven Development: The Waterfall Strikes Back
marmelab.comยท23hยท
Discuss: Hacker News
๐Ÿ“šTechnical Writing
Flag this post
Protobuf Meets Valhalla: Hacking with Java Value Classes (JEP 401)
dariobalinzo.medium.comยท1dยท
Discuss: Hacker News
๐Ÿ“„FlatBuffers
Flag this post